//]]>
Normal View MARC View ISBD View

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005 : proceedings /

Authors: Borrione, Dominique.%editor | Paul, Wolfgang J.,%1951-%editor | IFIP WG 10.5. Series: Lecture notes in computer science ; 0302-9743 ; . 3725 Published by : Springer, (Berlin ; | New York :) Physical details: xii, 412 p. : ill. ; 24 cm. ISBN: 3540291059 Subject(s): Integrated circuits %Very large scale integration %Computer-aided design | Integrated circuits %Verification Year: 2005
Online Resources:
Tags from this library:
No tags from this library for this title.
Item type Location Call Number Status Date Due
Book Book AUM Main Library English Collections Hall 621.395 C824 (Browse Shelf) Available
Book Book AUM Main Library English Collections Hall 621.395 C824 (Browse Shelf) Available
Book Book AUM Main Library English Collections Hall 621.395 C824 (Browse Shelf) Available

Includes bibliographical references and index.

Also issued online.

There are no comments for this item.

Log in to your account to post a comment.

Languages: 
English |
العربية